TAGs: solving linear equations